while ($${1:row} = db_fetch_array($result)) {
	${2:// Your code here}
}